#ifndef __KERNEL_INTERRUPT_H
#define __KERNEL_INTERRUPT_H

void idt_init();

#endif